Pays
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la musique en Sarre

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

Royaume-Uni166
Andreas Meier2
Royaume-Uni Sauf Andreas Meier" 165
Andreas Meier Sauf Royaume-Uni" 1
Royaume-Uni Et Andreas Meier 1
Royaume-Uni Ou Andreas Meier 167
Corpus2816
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 1.
Ident.Authors (with country if any)Title
000C09 Andreas Meier [Allemagne] ; Volker Sorge [Royaume-Uni] ; Simon Colton [Royaume-Uni]Employing Theory Formation to Guide Proof Planning
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Sun Jul 15 18:16:09 2018. Site generation: Tue Mar 5 19:21:25 2024